@article(
CarMitch,Author="Cardelli, L. and Mitchell, J.C.",
	Title="Operations on records",
	journal="Math. Structures in Computer Science",
	Volume="1",Number="1",pages="3--48",
	Year="1991",
	note="Summary in {\it Math. Foundations of Prog. Lang.
	Semantics,} Springer LNCS 442, 1990, pp 22--52.")